Année universitaire 2025-2026 (Sorbonne Université, UFR 919)
- UL1IN001 - Éléments de programmation 1 (L1): TD et TME
- LU3IN032 - Programmation comparée (L3) - TD et TME sur le typage et la programmation logique
- UM4IN503 Analyse de programmes et sémantique (M1 STL) - TME
- UM5IN556 - Groupe de Recherche (M2 STL) : séance d'initiation à la recherche bibliographique